void main () {  int pid= 0;    /* touch sensor */  process_priority[pid]= 3;  process_name[pid]= "Touch";  start_process(touch(pid++));    /* periodic turn */  process_priority[pid]= 2;  process_name[pid]= "Turn";  start_process(periodic_turn(pid++));    /* wander */  process_priority[pid]= 1;  process_name[pid]= "Wander";  start_process(wander(pid++));    /* motor arbitration process */  num_processes= pid;  start_process(prioritize());}